more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 9399

[filed under theme 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL ]

Full Idea

And-Elimination (∧E): Given A∧B, we may derive either A or B separately. The conclusions will depend on the assumptions of the premiss.

Clarification

∧ means 'and'

Gist of Idea

∧E: Given A∧B, we may derive either A or B separately

Source

E.J. Lemmon (Beginning Logic [1965], 1.5)

Book Ref

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.40